The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design
نویسندگان
چکیده
The GOPCSD (Goal Oriented Process Control Systems Design) tool is an integrated environment, where the process control systems engineer can construct, import, check, reason about, modify, validate requirements specifications and generate in the B specification language a formal specification of such process control requirements. Borrowing from the KAOS method, the GOPCSD tool adopts the goal-oriented hierarchy concept to enable easy tracing of the user needs to the requirements level, as well as the requirements to the design specification level. The tool offers a library and formal and informal checks and tests to aid correction and enhancement of the requirements; in addition, the normal systems engineer can use the tool effectively and automatically generate a B formal specification, thus not demanding a high-level of knowledge about the sophisticated mathematics supporting formal methods like B.
منابع مشابه
طبقهبندی و رتبهبندی توانمندیهای تخصصی دانشآموختگان مهندسی صنایع کشور با استفاده از تکنیک تحلیل سلسلهمراتبی AHP
The presence of new environment within the late of 19th century that recognized with time speed, competition, quality and cost pushed academia to establish a new collection of systematic decision tools for effective managing industrial enterprises. In respect of this growing need Industrial Engineering was introduced as a new academic discipline in which the main educational concentration was...
متن کاملSystem Engineering Implementation Process for Super-Systems
System engineering is one of the most powerful tools for comprehensive project management and control. This tool emphasized the life cycle of the projects, manages every single activity and helps manage the main elements of the project through a set of management and engineering processes. The goal of the current study is to use a system engineering approach in design phase in order or to meet ...
متن کاملINTELLIGENT BUILDING ASSESSMENT BASED ON AN INTEGRATED MODEL OF FUZZY ANALYTIC HIERARCHY PROCESS AND FUZZY PREFERENCE DEGREE APPROACH (FAHP-FPDA)
Intelligent building (IB) technologies have widespread applications in the building design and development. In this regard, it is necessary to develop intelligent building assessment models in order to satisfy the clients, professionals, and occupants' growing demands. To this end, this paper proposes an integrated analytic hierarchy process (AHP) and preference degree approach (PDA) under the ...
متن کاملApplication of Fuzzy Analytical Hierarchy Process and Quality Function Deployment Techniques for Supplier's Assessment
Abstract Vendor Selection Problem (VSP) has been considered in this paper as an integrated method of Fuzzy Analytic Hierarchy Process (FAHP) and Quality Function Deployment (QFD) in the pharmaceutical company. In QFD method, determining the importance of the "weights" for the customer requirements is an essential and crucial issue. FAHP has been used to determine the importance of the "we...
متن کاملDevelopment of Design and Manufacturing Support Tool for Optimization of Ultrasonic Machining (USM) and Rotary USM
Ultrasonic machining (USM) is a mechanical material removal process used to erode holes and cavities in hard or brittle work pieces by using shaped tools, high-frequency and an abrasive slurry. This paper addresses the concept and development of an expert system (ES) for hard and brittle material, such as glass, quartz, diamond, carbides, semi conducting materials, ceramic and graphite which ca...
متن کامل